coq proof assistant造句

例句与造句

1. He led the Coq project in the 1990s with Christine Paulin, who developed the Coq proof assistant.
2. In 2005, Benjamin Werner and Georges Gonthier formalized a proof of the theorem inside the Coq proof assistant.
3. A fully formal proof, checked with the Coq proof assistant, was announced in September 2012 by Georges Gonthier and fellow researchers at Microsoft Research and INRIA.
4. It's difficult to find coq proof assistant in a sentence. 用coq proof assistant造句挺难的